Structural Equivalence in Model-Based Reuse: Overcoming Differences in Abstraction Level
نویسنده
چکیده
Reuse of models assists in constructing a new model on the basis of existing knowledge, by retrieving a model that matches a preliminary partial input model or some facts about the domain and adapting it to the current needs. It often employs similarity measures to identify reusable models that are structurally and semantically similar to the input model. However, in many cases an input model, being a preliminary one, is of a higher level of abstraction than the detailed models to be retrieved, and structural similarity cannot be detected. This paper proposes the concept of structural equivalence, which means that a detailed model is a refinement of an abstract input model. Measuring structural equivalence rather than structural similarity enables retrieving an appropriate model despite differences in the abstraction level between the models. The paper discusses the structural characteristics of refinement operations in Object-Process Methodology (OPM) models, and presents an algorithm that detects structural equivalence.
منابع مشابه
Refinement Equivalence in Model-Based Reuse: Overcoming Differences in Abstraction Level
Reuse of models assists in constructing a new model on the basis of existing knowledge by retrieving a model that matches a preliminary partial input model or some facts about the domain and adapting it to the current needs. It often employs similarity measures to identify reusable models that are structurally and semantically similar to the input model. However, in many cases, an input model, ...
متن کاملReusing Models of Different Abstraction Levels
Reuse of models assists in constructing a new model on the basis of existing knowledge, by retrieving a model that matches a preliminary partial input model. It often employs similarity measures for identifying reusable models that are structurally and semantically similar to the input model. However, in many cases the preliminary input model is of a higher level of abstraction than the detaile...
متن کاملA Framework to Support Structural Reuse in Simulation Environments
In the design of computer-based systems, simulation tools employed during various stages of the design cycle can provide significant insight into the behavior of the proposed design. Unfortunately the knowledge gained through the course of a simulation exercise is typically lost and inaccessible to other designs. One promising solution to this is the utilization of development environments that...
متن کاملFormal sequential equivalence checking of digital systems by symbolic simulation
A new approach to sequential verification of designs at different levels of abstraction by symbolic simulation is proposed. The automatic formal verification tool has been used for equivalence checking of structural descriptions at rt-level and their corresponding behavioral specifications. Gate-level results of a commercial synthesis tool have been compared to specifications at behavioral or s...
متن کاملFormal Sequential Equivalence Checking of Digital Systems by Symbolic Simulation
A new approach to sequential verification of designs at different levels of abstraction by symbolic simulation is proposed. The automatic formal verification tool has been used for equivalence checking of structural descriptions at rt-level and their corresponding behavioral specifications. Gate-level results of a commercial synthesis tool have been compared to specifications at behavioral or s...
متن کامل